Anticipatory active monitoring for safety- and security-critical software
نویسندگان
چکیده
منابع مشابه
Software Active Online Monitoring Under Anticipatory Semantics
As the increment of software complexity, traditional software analysis, verification and testing techniques can not fully guarantee the correctness and faultlessness of deployed systems. As a result, software health management has been proposed as an effective complement of traditional quality assurance methods. Runtime monitoring is critical for software health management. Runtime verification...
متن کاملCosting Safety Critical Software
The views expressed in this paper are the views of the author and not necessarily those of the MOD. This paper will focus on the COSTS associated with validation of Safety Critical Software and will suggest some considerations for the way forward. The costs of safety analysis of Software are not straightforward to estimate. The extent of errors in the software requiring correction cannot be pre...
متن کاملIT Security for Safety-Critical Automation Systems
The protection of safety-critical and infrastructure systems (such as automation systems for utilities, but also for manufacturing plants) against electronic and communication network based attacks becomes more and more important. This paper investigates how such safety-critical plants and automation systems can be secured against information system and network based attacks. The two common app...
متن کاملEmbedded Software Development For Safety Critical Systems
Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2012
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-012-4739-8